sum 2^n(1388-807n)/113/binomial(2n,n)